projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c78ed25 c5ac80b)
Merge branch 'wip/carlosg/no-ping-serials-for-input' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 5 Nov 2021 18:34:02 +0000 (18:34 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 5 Nov 2021 18:34:02 +0000 (18:34 +0000)
gdk/wayland: Do not use xdg_wm_base.ping serials as "user input" serials

See merge request GNOME/gtk!4122


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.